1. Techniques of Prolog programming : with implementation of logical negation and quantified goals
Author: Van Le, T.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Prolog )Computer program language( , Negation )Logic(
Classification :
QA
76
.
73
.
P76
V36
1993
